derive quotient rule